Events in Security Protocols

Incentives in Security Protocols

Real world protocols often involve human choices that depend on incentives, including when they fail and require fail-safe or fail-deadly mechanisms. We look at three example systems (the EMV protocol, consensus in cryptocurrencies, and Tor) in this context, paying particular attention to the role that incentives play in fail-safe and faildeadly situations. We argue that incentives should expli...

Security Protocols

In this paper, we show how a novel tool for analyzing classical cryptographic protocols can be used to model and analyze the more complex Internet security protocol families. We discuss the modifications that were necessary in the tool and how the tool illuminates flaws in the Transport Layer Security (TLS) protocol. We also show how a flaw carried over to TLS from the Secure Sockets Layer prot...

Security Protocols

1 Theory of Agents and Messages for Security Protocols 13 1.0.1 Inductive Definition of All Parts” of a Message . . . . . . 14 1.0.2 Inverse of keys . . . . . . . . . . . . . . . . . . . . . . . . 14 1.1 keysFor operator . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 1.2 Inductive relation ”parts” . . . . . . . . . . . . . . . . . . . . . . 15 1.2.1 Unions . . . . . . . . . . . . . . ...

A note on the security of two improved RFID protocols

Recently, Baghery et al. [1, 2] presented some attacks on two RFID protocols, namely Yoon and Jung et al. protocols, and proposed the improved version of them. However, in this note, we show that the improved version of the Jung et al. protocol suffers from desynchronization attack and the improved version of the Yoon's protocol suffers from secret disclosure attack. The succe...

Security protocols in Bluetooth Standard